Index: ioemu/hw/piix4acpi.c
===================================================================
--- ioemu.orig/hw/piix4acpi.c 2006-08-04 10:57:28.922994985 +0100
-+++ ioemu/hw/piix4acpi.c 2006-08-04 11:23:48.127374982 +0100
++++ ioemu/hw/piix4acpi.c 2006-08-04 11:35:15.177574467 +0100
@@ -24,31 +24,30 @@
*/
uint16_t pm1_enable; /* pm1a_EVT_BLK+2 */
uint16_t pm1_control; /* pm1a_ECNT_BLK */
uint32_t pm1_timer; /* pmtmr_BLK */
-+ uint64_t old_vmck_ticks /* using vm_clock counter */
++ uint64_t old_vmck_ticks; /* using vm_clock counter */
} PCIAcpiState;
static PCIAcpiState *acpi_state;